(check (= (eval (eval ``(+ 1 2))) 3))
